بررسی بعضی از خواص جبرهای bl

پایان نامه
چکیده

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک bl-جبر a را تعریف نموده و ثابت می کنیم مجموعه همه فیلتر های اول یک bl-جبر a با طیف آن برابر است و در چندین قضیه شرایط معادلی را برای اینکه یک فیلتر متعلق به طیف bl-جبر a باشد را ثابت می کنیم.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

فیلترها در جبرهای bl

در این پایان نامه، سعی بر معرفی و شناخت انواع فیلترها، به منظور شناخت ابعاد مختلف جبرهای bl و دسته بندی آن ها می باشد. پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز، نخست فیلترهای استلزامی و استلزامی مثبت را معرفی و روابط بین این فیلترها با جبرهای گودل و بولی را بررسی می کنیم و ثابت می کنیم که فیلتر استلزامی مثبت و فیلتر بولی در جبرهایbl با یکدیگر معادل اند. سپس فیلترهای جالب و نرمال را مطرح و ...

bl-جبرهای حالت

bl-جبرهای حالت مطالعه ی منطق و بررسی آن از دیدگاه جبری می باشد به عبارتی دیگر میتوان فرمول های منطق را به جبر متناظر با آن ترجمه نمو و سپس با استفاده از روابط جبری به خواص منطق پایه دست یاافت. ابتدا مفاهیم مقدماتی و تعاریف پیش نیاز لازم برای ورودبه نپمبحث اصلی عنوان شده است. در فصل اول bl-جبرهای حالت و قوی را معرفی معرفی می شود سپس عملگر حالت بر روی mv-جبرها توصیف شده و بررسی می شود که تحت چه...

15 صفحه اول

جبرهای bl باحالت درونی

مفهوم کلی یک جبر ‎‎mv، ‏اولین بار توسط فلیمینیو و مونتاگنا به عنوان یک جبر ‎‎‎mv‎‎ ‏با حالت درونی (به عنوان یک عمل یکتایی) معرفی شد. دی نولا و دورسنسکیج نوع قوی تری از یک جبر ‎‎mv‎‎ ‏با حالت درونی، ‎‏ارائه دادند. در پایان نامه حاضر مفهوم جبر ‎‎‎bl‎‎ ‏را ‎‏به عنوان یک جبر ‎‎‎bl‎ ‏با حالت درونی معرفی می کنیم. انواع مختلفی از جبرهای ‎‎bl‎‎ ‏با حالت درونی مانند جبرهای ‎‎bl‎‎ ‏با حالت درونی قوی و جب...

bl- جبرهای ویژه

در این پایان نامه سعی به معرفی و شناخت جبرهای صحیح ، جبرهای ویژه، فیلترهای صحیح و فیلتر های ویژه به منطور شناخت ابعاد مختلف bl- جبرهای و دسته بندی آنها می پردازیم. همچمین ثابت می کنیم اگر f یک فیلتر ماکسیمال و استلزامی در a باشد، آنگاه a یک bl-جبر صحیح و f یک فیلتر اولیه است.

bl-جبرهای(نیم)توپولوژیکی

رساله حاضر بررسی و شرحی پیرامون تحقیقات انجام شده توسط نگارنده بر‎-bl‎جبرهای (نیم)توپولوژیکی است. ‏ در این رساله پس از ارایه پیش نیازهای لازم‏، نتایج جبری که در ضمن این تحقیقات بدست آمده است را آورده ایم. پس از تعریف bl‎‎‎‏-جبرهای (نیم) توپولوژیکی و بررسی برخی خواص آنها تاثیر اصول جداسازی بر آنها و ‎‎‎‎bl‎‎‏-جبرهای خارج قسمتی (نیم) توپولوژیکی مورد بحث قرار گرفته است. در ضمن مطالعه مترپذیری مفهو...

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023